DisCSP.CSP
Class ConstraintProblem

java.lang.Object
  DisCSP.CSP.ConstraintProblem

public class ConstraintProblem

extends java.lang.Object

Constructor Summary

ConstraintProblem()
Costruttore di ConstraintProblem

Method Summary

void	addConstraint(BinaryConstraint constr) Permette di aggiungere un vincolo al problema
void	addVariable(Variable v) Permette di aggiungere una variabile al problema
BinaryConstraint	constraintAt(int i) Restituisce l'i-esimo vincolo del problema
Variable	getVarByName(java.lang.String name) Resituisce una variabile dato il suo nome, che è un identificatore univoco per le variabili
boolean	isVarPresent(Variable v) Permette di verificare l'esistenza di una certa variabile
int	numberOfConstraint() Restituisce il numero di vincoli del problema
int	numberOfVariable() Restituisce il numero di variabili del problema
java.lang.String[]	partition(int nPart) Permette di partizionare un CP
java.lang.String	print() Stampa il problema
void	removeConstraint(BinaryConstraint constr) Permette di rimuovere un vincolo dal problema
void	removeVariable(Variable v) Permette di rimuovere una variabile dal problema
Variable	variableAt(int i) Restituisce l'i-esima variabile del problema

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintProblem

public ConstraintProblem()

Costruttore di ConstraintProblem

Method Detail

variableAt

public Variable variableAt(int i)

Restituisce l'i-esima variabile del problema

Parameters:

i - l'indice della variabile

Returns:

l'i-esima variabile del problema

getVarByName

public Variable getVarByName(java.lang.String name)
                      throws UnknownVariableException

Resituisce una variabile dato il suo nome, che è un identificatore univoco per le variabili

Parameters:

name - il nome della variabile

Returns:

la variabile

Throws:

UnknownVariableException

addVariable

public void addVariable(Variable v)
                 throws ExistentVarException

Permette di aggiungere una variabile al problema

Parameters:

v - la variabile

Throws:

ExistentVarException

removeVariable

public void removeVariable(Variable v)

Permette di rimuovere una variabile dal problema

Parameters:

v - la variabile

numberOfVariable

public int numberOfVariable()

Restituisce il numero di variabili del problema

Returns:

il numero di variabili del CP

constraintAt

public BinaryConstraint constraintAt(int i)

Restituisce l'i-esimo vincolo del problema

Parameters:

i - l'indice del vincolo

Returns:

l'i-esimo vincolo

addConstraint

public void addConstraint(BinaryConstraint constr)
                   throws UnknownVariableException

Permette di aggiungere un vincolo al problema

Parameters:

constr - il vincolo da aggiungere

Throws:

UnknownVariableException

removeConstraint

public void removeConstraint(BinaryConstraint constr)

Permette di rimuovere un vincolo dal problema

Parameters:

constr - il vincolo da eliminare

numberOfConstraint

public int numberOfConstraint()

Restituisce il numero di vincoli del problema

Returns:

il numero di vincoli del CP

print

public java.lang.String print()

Stampa il problema

Returns:

una stringa che rappresenta il problema

isVarPresent

public boolean isVarPresent(Variable v)

Permette di verificare l'esistenza di una certa variabile

Returns:

true se la variabile è presente, false altrimenti

partition

public java.lang.String[] partition(int nPart)

Permette di partizionare un CP

Parameters:

nPart - il numero di classi in cui si vuole partizionare il CP

Returns:

igli insiemi in cui sono state partizionate le variabili